Technical report

Results: 11918



#Item
281

Aachen Department of Computer Science Technical Report Lazy Abstraction for Size-Change Termination

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

- Date: 2010-08-17 17:01:11
    282

    Technical Report WVNovember 2005 On Structuring Proof Search for First Order Linear Logic

    Add to Reading List

    Source URL: www.ki.inf.tu-dresden.de

    - Date: 2006-03-26 15:53:31
      283

      JSS Technical Report – Agrocampus Applied Mathematics Department, Septemberhttp://www.agrocampus-ouest.fr/math/

      Add to Reading List

      Source URL: factominer.free.fr

      - Date: 2011-02-24 11:28:13
        284

        Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

        Add to Reading List

        Source URL: sunsite.informatik.rwth-aachen.de

        - Date: 2010-11-25 12:46:19
          285

          Supporting real-time features in a hierarchical component system Petr Hoˇsek1,2 , Tom´aˇs Pop1 , Tom´aˇs Bureˇs1,3 , Petr Hnˇetynka1 , Michal Malohlava1 December 2010 Technical report No, December 2010

          Add to Reading List

          Source URL: d3s.mff.cuni.cz

          - Date: 2016-03-01 09:57:40
            286

            Aachen Department of Computer Science Technical Report A Dependency Pair Framework for Innermost Complexity Analysis of

            Add to Reading List

            Source URL: sunsite.informatik.rwth-aachen.de

            - Date: 2011-04-22 18:07:53
              287

              Aachen Department of Computer Science Technical Report Modular Termination Proofs of Recursive Java Bytecode Programs

              Add to Reading List

              Source URL: sunsite.informatik.rwth-aachen.de

              - Date: 2011-05-12 14:18:21
                288

                Transformations for Abstractions Eelco Visser Technical Report UU-CSDepartment of Information and Computing Sciences

                Add to Reading List

                Source URL: www.cs.uu.nl

                - Date: 2005-08-18 10:26:18
                  289

                  Aachen Department of Computer Science Technical Report Dependency Triples for Improving Termination Analysis of Logic

                  Add to Reading List

                  Source URL: aprove.informatik.rwth-aachen.de

                  - Date: 2010-11-25 10:23:00
                    290

                    University of Toronto Technical Report PSI, April, 2003. To appear in IEEE Transactions on Pattern Analysis and Machine Intelligence. A Comparison of Algorithms for Inference and Learning in Probabilistic Graphic

                    Add to Reading List

                    Source URL: www.cs.ubc.ca

                    - Date: 2004-11-13 12:58:38
                      UPDATE